首页> 外文OA文献 >Temporal Logic To Query Semantic Graphs Using The Model Checking Method

【2h】

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

机译：用模型检验方法查询语义图的时态逻辑

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Temporal Logic To Query Semantic Graphs Using The Model Checking Method [J] . Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle Journal of software . 2012,第7期

机译：使用模型检查方法查询语义图的时间逻辑
2. Temporal Logic To Query Semantic Graphs Using The Model Checking Method [J] . Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle Journal of software . 2012,第7期

机译：使用模型检查方法查询语义图的时间逻辑
3. Temporal logic query checking: a tool for model exploration [J] . Gurfinkel A., Chechik M., Devereux B. IEEE Transactions on Software Engineering . 2003,第10期

机译：时态逻辑查询检查：用于模型探索的工具
4. Model checking vs. generalized model checking: semantic minimizations for temporal logics [C] . Godefroid, P., Huth, . 2005

机译：模型检查与广义模型检查：时间逻辑的语义最小化
5. Model checking for a first-order temporal logic using multiway decision graphs. [D] . Xu, Ying. 1999

机译：使用多路决策图对一阶时间逻辑进行模型检查。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Temporal Logic To Query Semantic Graphs Using The Model Checking Method [O] . Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle 2013

机译：用模型检验方法查询语义图的时态逻辑
8. Two Methods for Checking Formulas of Temporal Logic [R] . McGuire, H. W. 1995

机译：检验时态逻辑公式的两种方法

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

著录项

引文网络

相似文献

相关主题

期刊订阅